Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
281	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-08 11:51:07 Functional languages Recursion Higher-order functions Functional programming Procedural programming languages Miranda Fold List comprehension ATS Software engineering Computing Computer programming
282	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-08-14 18:51:10 Higher-order functions Functional programming Data types Lisp programming language Functional languages Fold Append Cons List Software engineering Computing Declarative programming
283	PDF Document Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:46:50 Functional languages Higher-order functions Procedural programming languages Functional programming Fold Recursion Structural induction ML Map Software engineering Computing Computer programming
284	PDF Document Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
285	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics
286	PDF Document Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2004-02-05 12:29:47 Functional languages Functional programming Higher-order functions Literate programming Programming paradigms Prolog Haskell Append Type class Software engineering Computing Computer programming
287	PDF Document Add to Reading List Source URL: mitarbeiter.hs-heilbronn.de Language: English - Date: 2012-10-31 13:12:47 Higher-order functions Source code Programming paradigms Concatenative programming language Joy Stack-oriented programming language Forth Function composition Stack Software engineering Computer programming Computing
288	PDF Document Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2009-03-04 14:33:08 Functional languages Models of computation Audio programming languages Software synthesizers Higher-order functions Pure Max Q Lambda calculus Computing Software engineering Computer programming
289	PDF Document Add to Reading List Source URL: impromptu.moso.com.au Language: English - Date: 2007-09-10 07:45:24 Audio programming languages Cross-platform software Higher-order functions Electronic music Mathematical logic Impromptu Live coding Fold Computer music Software engineering Computing Computer programming
290	PDF Document Add to Reading List Source URL: tratt.net Language: English Digital subscriber line Internet Modems Telecommunications Fold Finite-state machine Computer programming Parse tree Preprocessor Computing Software engineering Higher-order functions